Need to reset device model pid on reboot
authoradsharma@los-vmm.sc.intel.com <adsharma@los-vmm.sc.intel.com>
Tue, 9 Aug 2005 19:06:44 +0000 (11:06 -0800)
committeradsharma@los-vmm.sc.intel.com <adsharma@los-vmm.sc.intel.com>
Tue, 9 Aug 2005 19:06:44 +0000 (11:06 -0800)
commit5b1a5c7317e7177483b6586b62be5529598d9b48
treef2e24864cbbe56ee1bfb639e725238499ce0fa15
parentdcf909f29f4718427d04ebde13d3a8663d4e6492
Need to reset device model pid on reboot

Without this, xend will not spawn a new device model process after the reboot.

Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
tools/python/xen/xend/XendDomainInfo.py